19 search results for "author:"Martin Lucina""

Showing 1 - 19
  1. mirage-block-solo5
    Documentation
    Solo5 implementation of MirageOS block interface
    org:mirage
    Dan Williams Martin Lucina
    0.8.1
    ISC
    Used by 1 other packages
    29 Nov 2022
  2. mirage-bootvar-solo5
    Documentation
    Solo5 implementation of MirageOS Bootvar interface
    org:mirage
    Dan Williams <djwillia@us.ibm.com> Magnus Skjegstad <magnus@skjegstad.com> Martin Lucina <martin@lucina.net>
    0.6.0
    ISC
    Used by 0 other packages
    26 Sep 2019
  3. mirage-console-solo5
    Documentation
    Solo5 implementation of MirageOS console interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  4. mirage-net-solo5
    Documentation
    Solo5 implementation of MirageOS network interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  5. mirage-solo5
    Documentation
    Solo5 core platform libraries for MirageOS
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.9.2
    ISC
    Used by 7 other packages
    04 Mar 2023
  6. ocaml-freestanding

    No documentation

    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.7.0
    MIT
    Used by 4 other packages
    07 Jan 2022
  7. ocaml-freestanding-cross-aarch64
    Documentation
    Freestanding OCaml compiler
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.7.0
    MIT
    Used by 0 other packages
    07 Jan 2022
  8. ocaml-solo5
    Documentation
    OCaml cross-compiler to the freestanding Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.8.4
    MIT
    Used by 0 other packages
    23 Apr 2024
  9. ocaml-solo5-cross-aarch64
    Documentation
    OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend
    org:mirage
    Martin Lucina <martin@lucina.net>
    0.8.4
    MIT
    Used by 0 other packages
    23 Apr 2024
  10. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.8.1
    ISC
    Used by 5 other packages
    09 Apr 2024
  11. solo5-bindings-hvt

    No documentation

    Solo5 sandboxed execution environment (hvt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  12. solo5-bindings-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  13. solo5-bindings-spt

    No documentation

    Solo5 sandboxed execution environment (spt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  14. solo5-bindings-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  15. solo5-bindings-xen

    No documentation

    Solo5 sandboxed execution environment (xen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  16. solo5-cross-aarch64
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.8.1
    ISC
    Used by 2 other packages
    09 Apr 2024
  17. solo5-kernel-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018
  18. solo5-kernel-ukvm

    No documentation

    Solo5 sandboxed execution environment (ukvm target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018
  19. solo5-kernel-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 2 other packages
    10 Aug 2018